Max Planck

Results: 3130



#Item
191

The Virtual Laboratory Max-Planck-Institute for the History of Science, Berlin Reichert, C. n.d. Catalogue F7: Microscopes et appareils auxiliaires. Vienne (Autriche) (Collection Paolo B

Add to Reading List

Source URL: allinbox.free.fr

- Date: 2005-02-09 10:01:08
    192

    Introduction to Abstract Interpretation Bruno Blanchet D´epartement d’Informatique ´ Ecole Normale Sup´erieure, Paris and Max-Planck-Institut f¨

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-01-20 02:47:35
      193

      Popular Ranking Anke van Zuylen a Frans Schalekamp b David P. Williamson c,1 a Max-Planck-Institut f¨ ur Informatik, Saarbr¨

      Add to Reading List

      Source URL: arvanzuijlen.people.wm.edu

      - Date: 2011-05-03 05:35:16
        194

        Verfilmte mittelalterliche Handschriften in der Bibliothek des MPIeR Die Sammlung Die Bibliothek des Max-Planck-Instituts für europäische Rechtsgeschichte besitzt eine umfangreiche Sammlung verfilmter mittelalterlicher

        Add to Reading List

        Source URL: data.rg.mpg.de

        - Date: 2008-02-18 05:58:05
          195

          An improved monotone algorithm for scheduling related machines with precedence constraints Anke van Zuylen∗ Max Planck Institute for Informatics, Saarbr¨ ucken, Germany

          Add to Reading List

          Source URL: arvanzuijlen.people.wm.edu

          - Date: 2011-07-28 05:32:53
            196

            Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems

            Add to Reading List

            Source URL: people.mpi-sws.org

            - Date: 2015-09-30 05:51:35
              197

              On local reasoning in verification Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans Max-Planck-Institut f¨ ur Informatik, Campus E1 4, Saarbr¨ ucken, Germany e-mail: {ihlemann,sjacobs,sofronie}@mpi-inf.mpg.d

              Add to Reading List

              Source URL: www.swenjacobs.com

              - Date: 2013-01-31 09:32:34
                198

                A Study of the Internal and External Effects of Concurrency Bugs Pedro Fonseca, Cheng Li, Vishal Singhal∗, and Rodrigo Rodrigues Max Planck Institute for Software Systems (MPI-SWS) Abstract Concurrent programming is in

                Add to Reading List

                Source URL: concurrency.mpi-sws.org

                - Date: 2010-04-16 08:26:24
                  199

                  Workshop on the Feasibility of a Web-based Database of the Syntactic Structures of the World’s Languages Peter Cole November 9, 2007 Max Planck Institute for Evolutionary Anthropology

                  Add to Reading List

                  Source URL: linguistics.as.nyu.edu

                  - Date: 2009-08-25 12:37:44
                    200

                    University of Cologne Max Planck Society Collaborative Research Centre 1218 Mitochondrial regulation of cellular function

                    Add to Reading List

                    Source URL: sfb1218.uni-koeln.de

                    - Date: 2016-06-28 09:10:01
                      UPDATE